Algebra homomorphisms defined via convoluted semigroups and cosine functions

Convoluted C-cosine Functions and Convoluted C-semigroups

Perturbation Theorems for Convoluted C-semigroups and Cosine Functions

Algebras defined by homomorphisms

Let $mathcal{R}$ be a  commutative ring with identity, let $A$ and $B$ be two $mathcal{R}$-algebras and $varphi:Blongrightarrow A$ be an $mathcal{R}$-additive algebra homomorphism. We introduce a new algebra $Atimes_varphi B$, and give some basic properties of this algebra. Generalized $2$-cocycle derivations on $Atimes_varphi B$ are studied. Accordingly, $Atimes_varphi B$ is considered from th...

On automated reasoning about recursively defined functions and homomorphisms

We study possibilities of reasoning about extensions of base theories with functions which satisfy certain recursion (or homomorphism) properties. Our focus is on emphasizing possibilities of hierarchical and modular reasoning in such extensions and combinations thereof. We present practical applications in verification and cryptography.

algebras defined by homomorphisms

let $mathcal{r}$ be a  commutative ring with identity, let $a$ and $b$ be two $mathcal{r}$-algebras and $varphi:blongrightarrow a$ be an $mathcal{r}$-additive algebra homomorphism. we introduce a new algebra $atimes_varphi b$, and give some basic properties of this algebra. generalized $2$-cocycle derivations on $atimes_varphi b$ are studied. accordingly, $atimes_varphi b$ is considered from th...